#include "printk.h"
#include "sbi.h"
#include "vm.h"
#include "proc.h"
#include "mm.h"

extern void test();
extern char _stext[];
extern char _srodata[];

int start_kernel()
{
    // printk("[BEFORE EDIT] _stext = %x\n", *_stext);       // 读
    // printk("[BEFORE EDIT] _srodata = %x\n", *_srodata);
    // *_stext = 0;                                          // 写
    // *_srodata = 0;

    test(); // DO NOT DELETE !!!

    return 0;
}